﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace Infinity.Statements
{
	public interface IPostConditionStatement : IContractStatement
	{
	}
}